Digital Library

Search: "[ author: Jin Young Choi ]" (5)
    Computer Graphics & Synthesizable Synchronous VHDL Code Generator Design and Implemetation from SpecCharts
    Seong Jo Yun, Won Young Yoo, Jin Young Choi, Jeong Il Choi, Sang Yong Han, Joon Whoan Lee, Jeong A Lee The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 11, pp. 3566-3575, Nov. 2000
    10.3745/KIPSTE.2000.7.11.3566

    Formal Verification of RACE Protocol Using VIS
    Hyun Sun Um, Jin Young Choi, Woo Jong Han, An Do Ki, Kyu Hyun Shim The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 7, pp. 2219-2228, Jul. 2000
    10.3745/KIPSTE.2000.7.7.2219

    VIP / Sim ; Design and Implementation of Virtual Prototyping Simulator based on Statecharts
    Chul Ung Kim, Sang Yong Han, Jin Young Choi, Jeong A Lee The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 3, pp. 891-900, Mar. 2000
    10.3745/KIPSTE.2000.7.3.891

    A Study on the Remove Use-After-Free Security Weakness
    Yong Koo Park, Jin Young Choi KIPS Transactions on Computer and Communication Systems, Vol. 6, No. 1, pp. 43-50, Jan. 2017
    10.3745/KTCCS.2017.6.1.43
    Keywords: Security Weakness, Vulnerability, Dangling Pointer, Nullification

    Performance Evaliation of Real-Time Linux Kernel Patch for Exynos4210 Processors
    Heong Seok Kang , Joon Woo Lee , Jin Young Choi , Kang Hee Kim KIPS Transactions on Computer and Communication Systems, Vol. 2, No. 7, pp. 277-282, Jul. 2013
    10.3745/KTCCS.2013.2.7.277

Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTCCS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTCCS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals